#include <stdio.h>

int main()
{





    printf("%s:%d\n", __FILE__, __LINE__);

    return 0;
}
